System Design, Modeling, and Simulation Using Ptolemy Ii Continuous-time Models
نویسندگان
چکیده
This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit: http://creativecommons.org/licenses/by-sa/3.0/, or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Permissions beyond the scope of this license may be available at: http://ptolemy.org/books/Systems.
منابع مشابه
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...
متن کاملDesign and Simulation of Heterogeneous Control Systems Using Ptolemy Ii
Complex control systems are heterogeneous from both an implementation and a modeling perspective. Design and simulation environments for such systems need to integrate different component interaction styles, like differential equations, discrete events, state machines, dataflow networks, and real-time scheduling. This paper motivates the use of Ptolemy II software environment for modeling and s...
متن کاملHeterogeneous Concurrent Modeling and Design 21 Ct Domain
The continuous-time (CT) domain in Ptolemy II aims to help the design and simulation of systems that can be modeled using ordinary differential equations (ODEs). ODEs are often used to model analog circuits, plant dynamics in control systems, lumped-parameter mechanical systems, lumpedparameter heat flows and many other physical systems. Let’s start with an example. Consider a second order diff...
متن کاملVerifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
This paper defines a real-time rewriting logic semantics for a significant subset of Ptolemy II discreteevent models. This is a challenging task, since such models combine a synchronous fixed-point semantics with hierarchical structure, explicit time, and a rich expression language. The code generation features of Ptolemy II have been leveraged to automatically synthesize a Real-Time Maude veri...
متن کاملA Hierarchical Hybrid System Model and Its Simulation
This paper presents a hierarchical hybrid system modeling and simulation framework using the Ptolemy I1 environment. Ptolemy I1 is a system-level design tool that supports the integration of multiple models of computation. The modeling of hierarchical hybrid systems is achieved by combining continuous-time models with finite state automata. Breakpoint handling, event detection and invariant mon...
متن کامل